Need to reset device model pid on reboot
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 11 Aug 2005 21:04:17 +0000 (21:04 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 11 Aug 2005 21:04:17 +0000 (21:04 +0000)
Without this, xend will not spawn a new device model process after the reboot.

Signed-off-by: Ke Yu <ke.yu@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
tools/python/xen/xend/XendDomainInfo.py

index 52fba1c4ca984cd18c78e809e6b462a539ea826d..af73c87bff943f586fcecb14e032e92399e26cdf 100644 (file)
@@ -642,6 +642,7 @@ class XendDomainInfo:
                 pass
         if self.image:
             try:
+                self.device_model_pid = 0
                 self.image.destroy()
                 self.image = None
             except: